FHIR IG analytics| Package | hl7.fhir.uv.tools |
| Resource Type | StructureDefinition |
| Id | StructureDefinition-implied-type-slice.json |
| FHIR Version | R5 |
| Source | https://build.fhir.org/ig/FHIR/fhir-tools-ig/StructureDefinition-implied-type-slice.html |
| URL | http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice |
| Version | 1.3.0 |
| Status | active |
| Date | 2026-10-05T19:03:47+00:00 |
| Name | ImpliedTypeSliceExt |
| Title | Implied Type Slice Extension |
| Realm | uv |
| Authority | hl7 |
| Description | Marks a type slice that the snapshot generator added to complete a type slicing. Type slicing is always closed, so when the slices that a profile defines do not cover every type the element still allows, the snapshot generator adds an empty slice for each remaining type. These slices add no constraints of their own; this extension marks them so that renderers can leave them out, and so that when a profile is derived from this one they are regenerated rather than inherited |
| Type | Extension |
| Kind | complex-type |
No resources found
No resources found
Note: links and images are rebased to the (stated) source
English
Generated Narrative: StructureDefinition implied-type-slice
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
  Extension | 0..1 | Extension | A type slice added by the snapshot generator to complete a closed type slicing | |
  extension | 0..0 | Extension | ||
| url | 1..1 | uri | "http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice" | |
  value[x] | 1..1 | boolean | Value of extension | |
| Documentation for this format | ||||
Spanish
Generated Narrative: StructureDefinition implied-type-slice
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
| Extension | 0..1 | Extension | A type slice added by the snapshot generator to complete a closed type slicing | |
| extension | 0..0 | Extension | ||
| url | 1..1 | uri | "http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice" | |
| value[x] | 1..1 | boolean | Value of extension | |
| Documentation for this format | ||||
FHIR
FHIRsmith{
"resourceType": "StructureDefinition",
"id": "implied-type-slice",
"text": {
"status": "extensions",
"div": "<!-- snip (see above) -->"
},
"extension": [
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-fmm",
"valueInteger": 1
},
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-wg",
"valueCode": "fhir"
},
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-type-characteristics",
"valueCode": "can-bind"
},
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-standards-status",
"valueCode": "informative",
"_valueCode": {
"extension": [
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-conformance-derivedFrom",
"valueCanonical": "http://hl7.org/fhir/tools/ImplementationGuide/hl7.fhir.uv.tools"
}
]
}
}
],
"url": "http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice",
"identifier": [
{
"system": "urn:ietf:rfc:3986",
"value": "urn:oid:2.16.840.1.113883.4.642.40.1.42.90"
}
],
"version": "1.3.0",
"name": "ImpliedTypeSliceExt",
"title": "Implied Type Slice Extension",
"status": "active",
"experimental": false,
"date": "2026-10-05T19:03:47+00:00",
"publisher": "HL7 International / FHIR Infrastructure",
"contact": [
{
"telecom": [
{
"system": "url",
"value": "http://www.hl7.org/Special/committees/fiwg"
}
]
}
],
"description": "Marks a type slice that the snapshot generator added to complete a type slicing. Type slicing is always closed, so when the slices that a profile defines do not cover every type the element still allows, the snapshot generator adds an empty slice for each remaining type. These slices add no constraints of their own; this extension marks them so that renderers can leave them out, and so that when a profile is derived from this one they are regenerated rather than inherited",
"jurisdiction": [
{
"coding": [
{
"system": "http://unstats.un.org/unsd/methods/m49/m49.htm",
"code": "001"
}
]
}
],
"fhirVersion": "5.0.0",
"mapping": [
{
"identity": "rim",
"uri": "http://hl7.org/v3",
"name": "RIM Mapping"
}
],
"kind": "complex-type",
"abstract": false,
"context": [
{
"type": "element",
"expression": "ElementDefinition"
}
],
"type": "Extension",
"baseDefinition": "http://hl7.org/fhir/StructureDefinition/Extension",
"derivation": "constraint",
"snapshot": {
"extension": [
{
"url": "http://hl7.org/fhir/tools/StructureDefinition/snapshot-base-version",
"valueString": "5.0.0"
}
],
"element": [
{
"id": "Extension",
"path": "Extension",
"short": "A type slice added by the snapshot generator to complete a closed type slicing",
"definition": "This slice was added by the snapshot generator so that the (always closed) type slicing still allows a type that no slice in the profile covers. It adds no constraints of its own. Only used in snapshots; set by the snapshot generator.",
"min": 0,
"max": "1",
"base": {
"path": "Extension",
"min": 0,
"max": "*"
},
"constraint": [
{
"key": "ele-1",
"severity": "error",
"human": "All FHIR elements must have a @value or children",
"expression": "hasValue() or (children().count() > id.count())",
"source": "http://hl7.org/fhir/StructureDefinition/Element"
},
{
"key": "ext-1",
"severity": "error",
"human": "Must have either extensions or value[x], not both",
"expression": "extension.exists() != value.exists()",
"source": "http://hl7.org/fhir/StructureDefinition/Extension"
}
],
"isModifier": false
},
{
"id": "Extension.id",
"path": "Extension.id",
"representation": [
"xmlAttr"
],
"short": "Unique id for inter-element referencing",
"definition": "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.",
"min": 0,
"max": "1",
"base": {
"path": "Element.id",
"min": 0,
"max": "1"
},
"type": [
{
"extension": [
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type",
"valueUrl": "id"
}
],
"code": "http://hl7.org/fhirpath/System.String"
}
],
"condition": [
"ele-1"
],
"isModifier": false,
"isSummary": false,
"mapping": [
{
"identity": "rim",
"map": "n/a"
}
]
},
{
"id": "Extension.extension",
"path": "Extension.extension",
"slicing": {
"discriminator": [
{
"type": "value",
"path": "url"
}
],
"description": "Extensions are always sliced by (at least) url",
"rules": "open"
},
"short": "Extension",
"definition": "An Extension",
"min": 0,
"max": "0",
"base": {
"path": "Element.extension",
"min": 0,
"max": "*"
},
"type": [
{
"code": "Extension"
}
],
"constraint": [
{
"key": "ele-1",
"severity": "error",
"human": "All FHIR elements must have a @value or children",
"expression": "hasValue() or (children().count() > id.count())",
"source": "http://hl7.org/fhir/StructureDefinition/Element"
},
{
"key": "ext-1",
"severity": "error",
"human": "Must have either extensions or value[x], not both",
"expression": "extension.exists() != value.exists()",
"source": "http://hl7.org/fhir/StructureDefinition/Extension"
}
],
"isModifier": false,
"isSummary": false
},
{
"id": "Extension.url",
"path": "Extension.url",
"representation": [
"xmlAttr"
],
"short": "identifies the meaning of the extension",
"definition": "Source of the definition for the extension code - a logical name or a URL.",
"comment": "The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.",
"min": 1,
"max": "1",
"base": {
"path": "Extension.url",
"min": 1,
"max": "1"
},
"type": [
{
"extension": [
{
"url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type",
"valueUrl": "uri"
}
],
"code": "http://hl7.org/fhirpath/System.String"
}
],
"fixedUri": "http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice",
"isModifier": false,
"isSummary": false,
"mapping": [
{
"identity": "rim",
"map": "N/A"
}
]
},
{
"id": "Extension.value[x]",
"path": "Extension.value[x]",
"short": "Value of extension",
"definition": "Value of extension - must be one of a constrained set of the data types (see [Extensibility](http://hl7.org/fhir/R5/extensibility.html) for a list).",
"min": 1,
"max": "1",
"base": {
"path": "Extension.value[x]",
"min": 0,
"max": "1"
},
"type": [
{
"code": "boolean"
}
],
"condition": [
"ext-1"
],
"constraint": [
{
"key": "ele-1",
"severity": "error",
"human": "All FHIR elements must have a @value or children",
"expression": "hasValue() or (children().count() > id.count())",
"source": "http://hl7.org/fhir/StructureDefinition/Element"
}
],
"isModifier": false,
"isSummary": false,
"mapping": [
{
"identity": "rim",
"map": "N/A"
}
]
}
]
},
"differential": {
"element": [
{
"id": "Extension",
"path": "Extension",
"short": "A type slice added by the snapshot generator to complete a closed type slicing",
"definition": "This slice was added by the snapshot generator so that the (always closed) type slicing still allows a type that no slice in the profile covers. It adds no constraints of its own. Only used in snapshots; set by the snapshot generator.",
"min": 0,
"max": "1"
},
{
"id": "Extension.extension",
"path": "Extension.extension",
"max": "0"
},
{
"id": "Extension.url",
"path": "Extension.url",
"fixedUri": "http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice"
},
{
"id": "Extension.value[x]",
"path": "Extension.value[x]",
"min": 1,
"max": "1",
"type": [
{
"code": "boolean"
}
]
}
]
}
}